2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

212 201 82 572 189 209 0 0 82

N.S.

1 0.95 0.39 2.70 0.89 0.99 0.00 0.00 0.39

time (sec)

N/A 0.521 0.149 3.089 0.557 0.261 0.000 0.000 3.108

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

192 182 134 448 167 164 0 0 61

N.S.

1 0.95 0.70 2.33 0.87 0.85 0.00 0.00 0.32

time (sec)

N/A 0.438 0.073 2.046 0.338 0.255 0.000 0.000 3.055

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 176 72 138 167 180 0 0 54

N.S.

1 0.92 0.38 0.72 0.87 0.94 0.00 0.00 0.28

time (sec)

N/A 0.413 0.059 0.187 0.385 0.259 0.000 0.000 2.864

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

210 201 161 149 179 262 0 0 75

N.S.

1 0.96 0.77 0.71 0.85 1.25 0.00 0.00 0.36

time (sec)

N/A 0.471 0.089 0.122 0.346 0.252 0.000 0.000 3.261

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

211 201 100 152 184 338 0 0 73

N.S.

1 0.95 0.47 0.72 0.87 1.60 0.00 0.00 0.35

time (sec)

N/A 0.486 0.180 0.130 0.520 0.253 0.000 0.000 3.051

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

232 231 172 171 199 350 0 0 91

N.S.

1 1.00 0.74 0.74 0.86 1.51 0.00 0.00 0.39

time (sec)

N/A 0.593 0.198 0.135 0.470 0.261 0.000 0.000 3.646

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

231 229 94 714 207 223 0 0 97

N.S.

1 0.99 0.41 3.09 0.90 0.97 0.00 0.00 0.42

time (sec)

N/A 0.620 0.242 3.461 0.686 0.254 0.000 0.000 3.044

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

212 209 84 484 190 198 0 0 81

N.S.

1 0.99 0.40 2.28 0.90 0.93 0.00 0.00 0.38

time (sec)

N/A 0.519 0.192 2.273 0.348 0.268 0.000 0.000 2.985

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

209 199 79 663 189 211 0 0 79

N.S.

1 0.95 0.38 3.17 0.90 1.01 0.00 0.00 0.38

time (sec)

N/A 0.518 0.044 3.127 0.328 0.234 0.000 0.000 0.223

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 180 131 138 165 220 0 0 57

N.S.

1 0.94 0.68 0.72 0.86 1.15 0.00 0.00 0.30

time (sec)

N/A 0.384 0.053 0.189 0.352 0.243 0.000 0.000 2.955

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 173 74 135 164 236 0 0 58

N.S.

1 0.90 0.39 0.70 0.85 1.23 0.00 0.00 0.30

time (sec)

N/A 0.391 0.004 0.187 0.452 0.246 0.000 0.000 3.097

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

212 205 161 151 181 264 0 0 77

N.S.

1 0.97 0.76 0.71 0.85 1.25 0.00 0.00 0.36

time (sec)

N/A 0.501 0.098 0.148 0.550 0.257 0.000 0.000 3.409

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

214 201 100 156 187 339 0 0 76

N.S.

1 0.94 0.47 0.73 0.87 1.58 0.00 0.00 0.36

time (sec)

N/A 0.489 0.122 0.150 0.719 0.255 0.000 0.000 3.030

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

232 229 97 734 207 231 0 0 93

N.S.

1 0.99 0.42 3.16 0.89 1.00 0.00 0.00 0.40

time (sec)

N/A 0.632 0.216 3.276 0.335 0.252 0.000 0.000 3.081

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

211 207 83 571 190 214 0 0 80

N.S.

1 0.98 0.39 2.71 0.90 1.01 0.00 0.00 0.38

time (sec)

N/A 0.518 0.097 2.717 0.354 0.262 0.000 0.000 0.322

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

212 197 82 157 187 379 0 0 76

N.S.

1 0.93 0.39 0.74 0.88 1.79 0.00 0.00 0.36

time (sec)

N/A 0.470 0.001 0.141 0.355 0.248 0.000 0.000 3.787

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 179 134 138 164 228 0 0 57

N.S.

1 0.93 0.70 0.72 0.85 1.19 0.00 0.00 0.30

time (sec)

N/A 0.403 0.016 0.194 0.601 0.245 0.000 0.000 2.846

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 176 74 138 167 236 0 0 58

N.S.

1 0.92 0.39 0.72 0.87 1.23 0.00 0.00 0.30

time (sec)

N/A 0.412 0.004 0.184 0.449 0.242 0.000 0.000 2.745

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

212 205 161 151 181 280 0 0 77

N.S.

1 0.97 0.76 0.71 0.85 1.32 0.00 0.00 0.36

time (sec)

N/A 0.496 0.115 0.158 0.345 0.247 0.000 0.000 3.339

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

214 201 100 156 187 347 0 0 76

N.S.

1 0.94 0.47 0.73 0.87 1.62 0.00 0.00 0.36

time (sec)

N/A 0.500 0.157 0.142 0.338 0.252 0.000 0.000 3.554

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

234 231 172 171 199 381 0 0 93

N.S.

1 0.99 0.74 0.73 0.85 1.63 0.00 0.00 0.40

time (sec)

N/A 0.604 0.330 0.148 0.317 0.257 0.000 0.000 3.321

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

62 62 62 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 67 64 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 64 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

69 69 67 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 0.069 0.000 0.000 0.000 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 62 52 52 51 59 0 76 334

N.S.

1 0.93 0.78 0.78 0.76 0.88 0.00 1.13 4.99

time (sec)

N/A 0.239 0.394 0.331 0.333 0.263 0.000 0.371 8.455

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 43 34 37 36 49 0 53 218

N.S.

1 0.96 0.76 0.82 0.80 1.09 0.00 1.18 4.84

time (sec)

N/A 0.238 0.268 0.253 0.639 0.270 0.000 0.357 7.261

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 37 0 21 53

N.S.

1 1.00 1.00 0.86 0.82 1.68 0.00 0.95 2.41

time (sec)

N/A 0.204 0.026 0.129 0.202 0.252 0.000 0.337 3.297

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 174 71 136 153 164 0 176 49

N.S.

1 0.91 0.37 0.71 0.80 0.85 0.00 0.92 0.26

time (sec)

N/A 0.378 0.057 0.166 0.284 0.270 0.000 0.317 3.406

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

227 225 102 528 193 924 0 218 0

N.S.

1 0.99 0.45 2.33 0.85 4.07 0.00 0.96 0.00

time (sec)

N/A 0.428 0.330 1.166 0.314 0.404 0.000 0.312 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 108 102 401 0 184 0 0 0

N.S.

1 1.01 0.95 3.75 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 0.601 0.489 1.461 0.000 0.103 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 61 367 0 131 0 0 0

N.S.

1 1.00 0.81 4.89 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.454 0.282 1.416 0.000 0.097 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 57 377 0 0 0 0 0

N.S.

1 1.00 1.21 8.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.343 0.179 0.946 0.000 0.000 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 94 390 0 0 0 0 0

N.S.

1 1.00 1.16 4.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.470 0.527 1.077 0.000 0.000 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 116 86 404 0 0 0 0 0

N.S.

1 1.05 0.77 3.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.615 0.832 1.375 0.000 0.000 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 62 52 52 51 68 0 78 392

N.S.

1 0.93 0.78 0.78 0.76 1.01 0.00 1.16 5.85

time (sec)

N/A 0.233 0.334 0.394 0.341 0.297 0.000 0.393 11.537

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 43 42 37 36 56 0 55 276

N.S.

1 0.96 0.93 0.82 0.80 1.24 0.00 1.22 6.13

time (sec)

N/A 0.235 0.234 0.323 0.426 0.281 0.000 0.351 8.382

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 45 0 24 100

N.S.

1 1.00 1.00 0.86 0.82 2.05 0.00 1.09 4.55

time (sec)

N/A 0.218 0.041 0.224 0.225 0.279 0.000 0.334 4.379

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

210 201 160 149 170 177 0 0 73

N.S.

1 0.96 0.76 0.71 0.81 0.84 0.00 0.00 0.35

time (sec)

N/A 0.461 0.179 0.175 0.325 0.246 0.000 0.000 3.142

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

225 225 110 525 188 927 0 210 0

N.S.

1 1.00 0.49 2.33 0.84 4.12 0.00 0.93 0.00

time (sec)

N/A 0.447 0.408 2.173 0.312 0.384 0.000 0.321 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 150 90 265 0 127 0 0 0

N.S.

1 1.10 0.66 1.95 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.807 0.769 1.669 0.000 0.103 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 115 80 244 0 114 0 0 0

N.S.

1 1.06 0.74 2.26 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.605 0.497 1.473 0.000 0.095 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 69 221 0 97 0 0 0

N.S.

1 1.00 0.86 2.76 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.440 0.331 1.386 0.000 0.088 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 58 219 0 0 0 0 0

N.S.

1 1.00 0.74 2.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.440 0.213 3.019 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 112 96 1939 0 0 0 0 0

N.S.

1 1.04 0.89 17.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.595 0.986 3.336 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

136 147 131 1958 0 0 0 0 0

N.S.

1 1.08 0.96 14.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.738 2.077 6.391 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 62 52 52 51 82 0 78 474

N.S.

1 0.93 0.78 0.78 0.76 1.22 0.00 1.16 7.07

time (sec)

N/A 0.240 0.645 0.214 0.390 0.301 0.000 0.415 18.326

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 43 42 37 36 69 0 55 352

N.S.

1 0.96 0.93 0.82 0.80 1.53 0.00 1.22 7.82

time (sec)

N/A 0.221 0.363 236.850 0.201 0.292 0.000 0.401 8.533

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 55 0 26 230

N.S.

1 1.00 1.00 0.86 0.82 2.50 0.00 1.18 10.45

time (sec)

N/A 0.201 0.037 1.696 0.204 0.257 0.000 0.357 6.706

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

212 197 101 154 176 202 0 0 74

N.S.

1 0.93 0.48 0.73 0.83 0.95 0.00 0.00 0.35

time (sec)

N/A 0.442 0.164 0.165 0.305 0.266 0.000 0.000 3.421

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

225 225 107 551 194 969 0 231 0

N.S.

1 1.00 0.48 2.45 0.86 4.31 0.00 1.03 0.00

time (sec)

N/A 0.440 0.400 2.482 0.298 0.423 0.000 0.425 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

253 262 125 641 225 985 0 257 0

N.S.

1 1.04 0.49 2.53 0.89 3.89 0.00 1.02 0.00

time (sec)

N/A 0.449 0.320 59.813 0.595 0.427 0.000 0.430 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 114 79 219 0 115 0 0 0

N.S.

1 1.05 0.72 2.01 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.621 0.679 1.497 0.000 0.093 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 68 200 0 97 0 0 0

N.S.

1 1.00 0.86 2.53 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.444 0.394 1.436 0.000 0.092 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 77 103 0 57 0 0 0

N.S.

1 1.00 1.64 2.19 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.323 0.185 0.967 0.000 0.087 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 126 192 0 0 0 0 0

N.S.

1 1.00 1.66 2.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.444 0.535 3.098 0.000 0.000 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

109 111 94 1906 0 0 0 0 0

N.S.

1 1.02 0.86 17.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.582 0.993 6.227 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 60 45 41 54 64 0 80 268

N.S.

1 0.92 0.69 0.63 0.83 0.98 0.00 1.23 4.12

time (sec)

N/A 0.248 0.534 1.559 0.257 0.291 0.000 0.522 7.656

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 41 32 31 36 54 0 44 64

N.S.

1 0.95 0.74 0.72 0.84 1.26 0.00 1.02 1.49

time (sec)

N/A 0.235 0.277 1.224 0.250 0.254 0.000 0.482 3.440

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 19 18 40 0 18 51

N.S.

1 1.00 1.00 0.95 0.90 2.00 0.00 0.90 2.55

time (sec)

N/A 0.208 0.045 0.252 0.239 0.267 0.000 0.425 2.922

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F(-1) B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

212 197 82 157 167 235 0 0 76

N.S.

1 0.93 0.39 0.74 0.79 1.11 0.00 0.00 0.36

time (sec)

N/A 0.457 0.090 0.161 0.578 0.246 0.000 0.000 2.825

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

249 247 115 937 204 1034 0 252 0

N.S.

1 0.99 0.46 3.76 0.82 4.15 0.00 1.01 0.00

time (sec)

N/A 0.471 0.495 19.772 0.513 0.425 0.000 0.415 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 142 104 380 0 222 0 0 0

N.S.

1 1.03 0.75 2.75 0.00 1.61 0.00 0.00 0.00

time (sec)

N/A 0.772 0.876 1.615 0.000 0.104 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 107 93 367 0 172 0 0 0

N.S.

1 1.03 0.89 3.53 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.610 0.539 1.483 0.000 0.095 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 69 352 0 169 0 0 0

N.S.

1 1.00 0.88 4.51 0.00 2.17 0.00 0.00 0.00

time (sec)

N/A 0.459 0.428 1.111 0.000 0.120 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 66 366 0 0 0 0 0

N.S.

1 1.00 0.85 4.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.465 0.408 1.106 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 115 77 380 0 0 0 0 0

N.S.

1 1.03 0.69 3.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.622 0.639 1.489 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 150 89 393 0 0 0 0 0

N.S.

1 1.06 0.63 2.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.764 0.910 1.388 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 113 299 0 119 0 0 0

N.S.

1 1.00 1.38 3.65 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.460 0.741 1.095 0.000 0.095 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 114 103 372 0 241 0 0 0

N.S.

1 1.04 0.94 3.38 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 0.594 1.989 1.281 0.000 0.102 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 77 0 0 0 0 0 0

N.S.

1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.293 0.283 0.000 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 56 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.302 0.152 0.000 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 56 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 0.139 0.000 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 56 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 0.134 0.000 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 51 54 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.282 0.126 0.000 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 89 0 0 0 0 0 0

N.S.

1 1.00 1.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.281 0.941 0.000 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 78 0 0 0 0 0 0

N.S.

1 1.00 1.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.755 0.000 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 77 0 0 0 0 0 0

N.S.

1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 0.659 0.000 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 78 0 0 0 0 0 0

N.S.

1 1.00 1.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.281 0.261 0.000 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 77 0 0 0 0 0 0

N.S.

1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.268 0.284 0.000 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 57 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.131 0.000 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 57 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.225 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 55 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.211 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 55 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.223 0.110 0.000 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 57 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 0.111 0.000 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 58 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.169 0.000 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 57 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 0.124 0.000 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 55 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.212 0.112 0.000 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 57 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.213 0.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 59 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.220 0.291 0.000 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

178 130 131 195 0 788 0 0 0

N.S.

1 0.73 0.74 1.10 0.00 4.43 0.00 0.00 0.00

time (sec)

N/A 0.502 0.823 17.762 0.000 0.402 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 73 454 0 105 0 0 0

N.S.

1 1.00 0.78 4.88 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.528 10.548 2.479 0.000 0.097 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

132 88 101 129 0 654 0 0 0

N.S.

1 0.67 0.77 0.98 0.00 4.95 0.00 0.00 0.00

time (sec)

N/A 0.359 0.551 17.512 0.000 0.375 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 66 342 0 66 0 0 0

N.S.

1 1.00 1.20 6.22 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.361 0.518 2.737 0.000 0.088 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 35 0 50 53 0 55

N.S.

1 1.00 1.00 1.03 0.00 1.47 1.56 0.00 1.62

time (sec)

N/A 0.238 0.457 1.334 0.000 0.258 4.948 0.000 3.747

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 70 454 0 112 0 0 0

N.S.

1 1.00 0.74 4.78 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.500 0.917 2.902 0.000 0.091 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 53 47 0 63 0 0 69

N.S.

1 1.00 0.74 0.65 0.00 0.88 0.00 0.00 0.96

time (sec)

N/A 0.382 0.709 1.557 0.000 0.250 0.000 0.000 3.797

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 137 86 468 0 125 0 0 0

N.S.

1 1.04 0.65 3.55 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.720 1.144 2.596 0.000 0.099 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 132 83 295 0 140 0 0 0

N.S.

1 1.01 0.63 2.25 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.686 5.621 2.604 0.000 0.097 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

169 125 130 189 0 769 0 0 0

N.S.

1 0.74 0.77 1.12 0.00 4.55 0.00 0.00 0.00

time (sec)

N/A 0.526 0.900 20.763 0.000 0.374 0.000 0.000 0.000